High-level Petri Net Modelling of Phased Mission Systems
نویسندگان
چکیده
We propose a general methodology for the modelling and evaluation of phased mission systems, based on a Markov Regenerative Stochastic Petri Net approach. By exploiting the expressiveness and the representativity of MRSPN, we achieve a compact and neat modelling of even quite complex systems, relaxing many restrictive limitations of the other approaches appeared in the literature. Our approach turns out in an exact and highly computationally efficient analytical solution method, which is applicable to a wide range of PMS scenarios.
منابع مشابه
Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets
A common scenario in engineering is that of a system which operates throughout several sequential and distinct periods of time, during which the modes and consequences of failure differ from one another. This type of operation is known as a phased mission, and for the mission to be a success the system must successfully operate throughout all of the phases. Examples include a rocket launch and ...
متن کاملDEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Systems and Scheduled Maintenance Systems. Because of their deployment in critical applications, the dependability modeling and analysis of Multiple-Phased Systems is a task of primary relevance. However, the phased behavior ...
متن کاملMission reliability Modeling and evaluation of Multi-Mission phased Mission systeM based on extended object-oriented petri net Modelowanie niezawodności Misji oraz ocena systeMów wielozadaniowych o Misjach okresowych w oparciu o rozszerzoną sieć obiektową petriego
Multi-mission phased mission system (MM-PMS) is an extension of phased mission system (PMS) which is required to complete more than one missions for a period of time. Missions in MM-PMS usually have following characteristics: they have different mission starting and duration times; they share common components but with different combinational requirements; they have unequal occurrence probabili...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملInformation Systems Modelling Using Loopn++, an Object Petri Net Scheme
There have been significant recent developments in high level specification schemes for modelling information systems using formalisms based on petri nets. In particular, the application of object-based design principles have produced high level petri nets which can be used to model large complex systems. This paper discusses a new language and modelling scheme, known as LOOPN++, which fully in...
متن کامل